Upgrade curl to curl-7_71_1 Change-Id: Ief1f908509a0dd7944004e102310c255e42e4803 
diff --git a/docs/curl-config.1 b/docs/curl-config.1 index a3200b2..da469e5 100644 --- a/docs/curl-config.1 +++ b/docs/curl-config.1 
@@ -20,7 +20,7 @@  .\" *  .\" **************************************************************************  .\" -.TH curl-config 1 "April 26, 2020" "Curl 7.70.0" "curl-config manual" +.TH curl-config 1 "April 26, 2020" "Curl 7.71.1" "curl-config manual"    .SH NAME  curl-config \- Get information about a libcurl installation